Optimal. Leaf size=177 \[ \frac {c^3 (8 b B-3 A c) \tanh ^{-1}\left (\frac {\sqrt {b} x}{\sqrt {b x^2+c x^4}}\right )}{128 b^{5/2}}-\frac {c^2 \sqrt {b x^2+c x^4} (8 b B-3 A c)}{128 b^2 x^3}-\frac {\left (b x^2+c x^4\right )^{3/2} (8 b B-3 A c)}{48 b x^9}-\frac {c \sqrt {b x^2+c x^4} (8 b B-3 A c)}{64 b x^5}-\frac {A \left (b x^2+c x^4\right )^{5/2}}{8 b x^{13}} \]
[Out]
________________________________________________________________________________________
Rubi [A] time = 0.28, antiderivative size = 177, normalized size of antiderivative = 1.00, number of steps used = 6, number of rules used = 5, integrand size = 26, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.192, Rules used = {2038, 2020, 2025, 2008, 206} \[ -\frac {c^2 \sqrt {b x^2+c x^4} (8 b B-3 A c)}{128 b^2 x^3}+\frac {c^3 (8 b B-3 A c) \tanh ^{-1}\left (\frac {\sqrt {b} x}{\sqrt {b x^2+c x^4}}\right )}{128 b^{5/2}}-\frac {c \sqrt {b x^2+c x^4} (8 b B-3 A c)}{64 b x^5}-\frac {\left (b x^2+c x^4\right )^{3/2} (8 b B-3 A c)}{48 b x^9}-\frac {A \left (b x^2+c x^4\right )^{5/2}}{8 b x^{13}} \]
Antiderivative was successfully verified.
[In]
[Out]
Rule 206
Rule 2008
Rule 2020
Rule 2025
Rule 2038
Rubi steps
\begin {align*} \int \frac {\left (A+B x^2\right ) \left (b x^2+c x^4\right )^{3/2}}{x^{12}} \, dx &=-\frac {A \left (b x^2+c x^4\right )^{5/2}}{8 b x^{13}}-\frac {(-8 b B+3 A c) \int \frac {\left (b x^2+c x^4\right )^{3/2}}{x^{10}} \, dx}{8 b}\\ &=-\frac {(8 b B-3 A c) \left (b x^2+c x^4\right )^{3/2}}{48 b x^9}-\frac {A \left (b x^2+c x^4\right )^{5/2}}{8 b x^{13}}+\frac {(c (8 b B-3 A c)) \int \frac {\sqrt {b x^2+c x^4}}{x^6} \, dx}{16 b}\\ &=-\frac {c (8 b B-3 A c) \sqrt {b x^2+c x^4}}{64 b x^5}-\frac {(8 b B-3 A c) \left (b x^2+c x^4\right )^{3/2}}{48 b x^9}-\frac {A \left (b x^2+c x^4\right )^{5/2}}{8 b x^{13}}+\frac {\left (c^2 (8 b B-3 A c)\right ) \int \frac {1}{x^2 \sqrt {b x^2+c x^4}} \, dx}{64 b}\\ &=-\frac {c (8 b B-3 A c) \sqrt {b x^2+c x^4}}{64 b x^5}-\frac {c^2 (8 b B-3 A c) \sqrt {b x^2+c x^4}}{128 b^2 x^3}-\frac {(8 b B-3 A c) \left (b x^2+c x^4\right )^{3/2}}{48 b x^9}-\frac {A \left (b x^2+c x^4\right )^{5/2}}{8 b x^{13}}-\frac {\left (c^3 (8 b B-3 A c)\right ) \int \frac {1}{\sqrt {b x^2+c x^4}} \, dx}{128 b^2}\\ &=-\frac {c (8 b B-3 A c) \sqrt {b x^2+c x^4}}{64 b x^5}-\frac {c^2 (8 b B-3 A c) \sqrt {b x^2+c x^4}}{128 b^2 x^3}-\frac {(8 b B-3 A c) \left (b x^2+c x^4\right )^{3/2}}{48 b x^9}-\frac {A \left (b x^2+c x^4\right )^{5/2}}{8 b x^{13}}+\frac {\left (c^3 (8 b B-3 A c)\right ) \operatorname {Subst}\left (\int \frac {1}{1-b x^2} \, dx,x,\frac {x}{\sqrt {b x^2+c x^4}}\right )}{128 b^2}\\ &=-\frac {c (8 b B-3 A c) \sqrt {b x^2+c x^4}}{64 b x^5}-\frac {c^2 (8 b B-3 A c) \sqrt {b x^2+c x^4}}{128 b^2 x^3}-\frac {(8 b B-3 A c) \left (b x^2+c x^4\right )^{3/2}}{48 b x^9}-\frac {A \left (b x^2+c x^4\right )^{5/2}}{8 b x^{13}}+\frac {c^3 (8 b B-3 A c) \tanh ^{-1}\left (\frac {\sqrt {b} x}{\sqrt {b x^2+c x^4}}\right )}{128 b^{5/2}}\\ \end {align*}
________________________________________________________________________________________
Mathematica [C] time = 0.04, size = 66, normalized size = 0.37 \[ \frac {\left (x^2 \left (b+c x^2\right )\right )^{5/2} \left (c^3 x^8 (8 b B-3 A c) \, _2F_1\left (\frac {5}{2},4;\frac {7}{2};\frac {c x^2}{b}+1\right )-5 A b^4\right )}{40 b^5 x^{13}} \]
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
fricas [A] time = 1.00, size = 299, normalized size = 1.69 \[ \left [-\frac {3 \, {\left (8 \, B b c^{3} - 3 \, A c^{4}\right )} \sqrt {b} x^{9} \log \left (-\frac {c x^{3} + 2 \, b x - 2 \, \sqrt {c x^{4} + b x^{2}} \sqrt {b}}{x^{3}}\right ) + 2 \, {\left (3 \, {\left (8 \, B b^{2} c^{2} - 3 \, A b c^{3}\right )} x^{6} + 48 \, A b^{4} + 2 \, {\left (56 \, B b^{3} c + 3 \, A b^{2} c^{2}\right )} x^{4} + 8 \, {\left (8 \, B b^{4} + 9 \, A b^{3} c\right )} x^{2}\right )} \sqrt {c x^{4} + b x^{2}}}{768 \, b^{3} x^{9}}, -\frac {3 \, {\left (8 \, B b c^{3} - 3 \, A c^{4}\right )} \sqrt {-b} x^{9} \arctan \left (\frac {\sqrt {c x^{4} + b x^{2}} \sqrt {-b}}{c x^{3} + b x}\right ) + {\left (3 \, {\left (8 \, B b^{2} c^{2} - 3 \, A b c^{3}\right )} x^{6} + 48 \, A b^{4} + 2 \, {\left (56 \, B b^{3} c + 3 \, A b^{2} c^{2}\right )} x^{4} + 8 \, {\left (8 \, B b^{4} + 9 \, A b^{3} c\right )} x^{2}\right )} \sqrt {c x^{4} + b x^{2}}}{384 \, b^{3} x^{9}}\right ] \]
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
giac [A] time = 0.32, size = 214, normalized size = 1.21 \[ -\frac {\frac {3 \, {\left (8 \, B b c^{4} \mathrm {sgn}\relax (x) - 3 \, A c^{5} \mathrm {sgn}\relax (x)\right )} \arctan \left (\frac {\sqrt {c x^{2} + b}}{\sqrt {-b}}\right )}{\sqrt {-b} b^{2}} + \frac {24 \, {\left (c x^{2} + b\right )}^{\frac {7}{2}} B b c^{4} \mathrm {sgn}\relax (x) + 40 \, {\left (c x^{2} + b\right )}^{\frac {5}{2}} B b^{2} c^{4} \mathrm {sgn}\relax (x) - 88 \, {\left (c x^{2} + b\right )}^{\frac {3}{2}} B b^{3} c^{4} \mathrm {sgn}\relax (x) + 24 \, \sqrt {c x^{2} + b} B b^{4} c^{4} \mathrm {sgn}\relax (x) - 9 \, {\left (c x^{2} + b\right )}^{\frac {7}{2}} A c^{5} \mathrm {sgn}\relax (x) + 33 \, {\left (c x^{2} + b\right )}^{\frac {5}{2}} A b c^{5} \mathrm {sgn}\relax (x) + 33 \, {\left (c x^{2} + b\right )}^{\frac {3}{2}} A b^{2} c^{5} \mathrm {sgn}\relax (x) - 9 \, \sqrt {c x^{2} + b} A b^{3} c^{5} \mathrm {sgn}\relax (x)}{b^{2} c^{4} x^{8}}}{384 \, c} \]
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
maple [A] time = 0.08, size = 302, normalized size = 1.71 \[ -\frac {\left (c \,x^{4}+b \,x^{2}\right )^{\frac {3}{2}} \left (9 A \,b^{\frac {3}{2}} c^{4} x^{8} \ln \left (\frac {2 b +2 \sqrt {c \,x^{2}+b}\, \sqrt {b}}{x}\right )-24 B \,b^{\frac {5}{2}} c^{3} x^{8} \ln \left (\frac {2 b +2 \sqrt {c \,x^{2}+b}\, \sqrt {b}}{x}\right )-9 \sqrt {c \,x^{2}+b}\, A b \,c^{4} x^{8}+24 \sqrt {c \,x^{2}+b}\, B \,b^{2} c^{3} x^{8}-3 \left (c \,x^{2}+b \right )^{\frac {3}{2}} A \,c^{4} x^{8}+8 \left (c \,x^{2}+b \right )^{\frac {3}{2}} B b \,c^{3} x^{8}+3 \left (c \,x^{2}+b \right )^{\frac {5}{2}} A \,c^{3} x^{6}-8 \left (c \,x^{2}+b \right )^{\frac {5}{2}} B b \,c^{2} x^{6}+6 \left (c \,x^{2}+b \right )^{\frac {5}{2}} A b \,c^{2} x^{4}-16 \left (c \,x^{2}+b \right )^{\frac {5}{2}} B \,b^{2} c \,x^{4}-24 \left (c \,x^{2}+b \right )^{\frac {5}{2}} A \,b^{2} c \,x^{2}+64 \left (c \,x^{2}+b \right )^{\frac {5}{2}} B \,b^{3} x^{2}+48 \left (c \,x^{2}+b \right )^{\frac {5}{2}} A \,b^{3}\right )}{384 \left (c \,x^{2}+b \right )^{\frac {3}{2}} b^{4} x^{11}} \]
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
maxima [F] time = 0.00, size = 0, normalized size = 0.00 \[ \int \frac {{\left (c x^{4} + b x^{2}\right )}^{\frac {3}{2}} {\left (B x^{2} + A\right )}}{x^{12}}\,{d x} \]
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
mupad [F] time = 0.00, size = -1, normalized size = -0.01 \[ \int \frac {\left (B\,x^2+A\right )\,{\left (c\,x^4+b\,x^2\right )}^{3/2}}{x^{12}} \,d x \]
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
sympy [F] time = 0.00, size = 0, normalized size = 0.00 \[ \int \frac {\left (x^{2} \left (b + c x^{2}\right )\right )^{\frac {3}{2}} \left (A + B x^{2}\right )}{x^{12}}\, dx \]
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________